Skip to content

Conversation

thk123
Copy link
Contributor

@thk123 thk123 commented Apr 6, 2017

Added the icon for AppVeyor so we don't miss it when it fails.

See the README here: https://github.com/thk123/cbmc/tree/feature/appveyor-badge

@tautschnig
Copy link
Collaborator

@thk123 Would you mind rebasing so that we can get "all checks passed" on this one?

@thk123 thk123 force-pushed the feature/appveyor-badge branch from 9fd8ccf to 31ea4c3 Compare April 7, 2017 13:05
@tautschnig tautschnig assigned kroening and unassigned thk123 Apr 7, 2017
@kroening kroening merged commit e88df0b into diffblue:master Apr 8, 2017
@thk123 thk123 deleted the feature/appveyor-badge branch April 10, 2017 08:57
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants